$R_{1}$ $\Leftarrow\!\Rightarrow$ $R_{2}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$, $y$:$T$. ($R_{1}$($x$,$y$)) $\Leftarrow\!\Rightarrow$ ($R_{2}$($x$,$y$))